Abstract semantic diffing of evolving concurrent programs
نویسندگان
چکیده
منابع مشابه
Abstract Semantic Diffing of Evolving Concurrent Programs
Semantic Diffing of Evolving Concurrent Programs Ahmed Bouajjani, Constantin Enea, and Shuvendu Lahiri 1 IRIF, Univ. Paris Diderot, {abou,cenea}@irif.fr 2 Microsoft Research, [email protected] Abstract. We present an approach for comparing two closely related concurrent programs, whose goal is to give feedback about interesting differences without relying on user-provided assertions. This ...
متن کاملAbstract interpretation of temporal concurrent constraint programs
Interpretation of Temporal Concurrent Constraint Programs ∗
متن کاملAbstract diagnosis for timed concurrent constraint programs
diagnosis for timed concurrent constraint programs! MARCO COMINI and LAURA TITOLO Dipartimento di Matematica e Informatica University of Udine Via delle Scienze, 206 33100 Udine, Italy (e-mail: {marco.comini,laura.titolo}@uniud.it)
متن کاملConcurrent Abstract State Machines and +CAL Programs
We apply the ASM semantics framework to define the await construct in the context of concurrent ASMs. We link CAL programs to concurrent control state ASMs with turbo ASM submachines.
متن کاملAbstract Semantic Differencing for Numerical Programs
Semantic Differencing for Numerical Programs Nimrod Partush and Eran Yahav
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Methods in System Design
سال: 2018
ISSN: 0925-9856,1572-8102
DOI: 10.1007/s10703-018-0322-2